University of Edinburgh - PDFSEARCH.IO - Document Search Engine

University of Edinburgh
Results: 2122

#	Item
71	James Cheney Informatics ForumCrichton Street University of Edinburgh Edinburgh, EH8 9AB Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2017-12-16 10:21:06
72	Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1. Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
73	Refinement Types for Algebraic Effects Danel Ahman and Gordon D. Plotkin Laboratory for Foundations of Computer Science, University of Edinburgh We investigate an algebraic treatment of propositional refinement types for Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
74	A Fence Placement for Legacy Data-Race-Free Programs via Synchronization Read Detection ANDREW J. MCPHERSON, University of Edinburgh VIJAY NAGARAJAN, University of Edinburgh SUSMIT SARKAR, University of St. Andrews Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2015-10-17 17:50:02
75	On Ringads and Foldables (Extended Abstract) James McKinna LFCS, School of Informatics University of Edinburgh UK Add to Reading List Source URL: tydeworkshop.org - Date: 2017-11-13 07:34:26
76	Compiler Directed Early Register Release Timothy M. Jones, Michael F.P. O’Boyle University of Edinburgh Jaume Abella†‡, Antonio Gonz´alez †‡, O˘ guz Ergin† †Intel Labs, ‡Universitat Polit`ecnica de Cata Add to Reading List Source URL: pact05.ce.ucsc.edu - Date: 2005-12-16 02:10:54
77	Taking Updates Seriously∗ Danel Ahman Laboratory for Foundations of Computer Science, University of Edinburgh 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Tarmo Uustalu Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
78	Normalization by evaluation and algebraic effects Danel Ahman1 Laboratory for Foundations of Computer Science University of Edinburgh Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13
79	OPA MOBILITÄT UND INKLUSION IN EINEM VIELSPRACHIGEN EUROPA UNIVERSITEIT VAN USION IN EINEM VIELSPRACHIGEN EUROPA MOBILITÄT UND INKLUSION IN EINEM VIELSPRACHIGEN EUROPA UNIVERSITY OF EDINBURGH AMSTERDAM UPPSALA UNIVERSI Add to Reading List Source URL: www.mime-project.org - Date: 2015-11-11 09:16:57
80	MFPSCoalgebraic update lenses Danel Ahman1 Laboratory for Foundations of Computer Science, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9LE, United Kingdom Add to Reading List Source URL: danelahman.github.io - Date: 2018-03-25 20:15:13

UPDATE